*How to verify other people's claims outside of formal systems